COMMENT ⊗   VALID 00013 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00003 00003	.NOFILL
C00006 00004	.NEXT PAGE
C00012 00005	.AT ">>" ⊂ BREAK ⊃
C00017 00006	.ses 4.  Invited Tutorial Lectures:  II
C00023 00007	.nojust indent 0,6
C00027 00008	.ses 10.  Natural Language: Systems
C00031 00009	.skip to column 1
C00035 00010	.ses 17.  Psychology and A.I.
C00040 00011	.next page
C00044 00012	.next page
C00047 00013	.every heading (,,)
C00051 ENDMK
C⊗;
.DEVICE XGP;
.PAGE FRAME 54 HIGH 45 WIDE;
.AREA TEXT LINES 1 TO 54;

.FONT 1 "NGB25"
.FONT 2 "NGR40"
.FONT 3 "BDJ25"
.font 4 "ngr13"

.TURN ON "#{%-←→"

.MACRO FAC ⊂ FILL ADJUST COMPACT ⊃
.NOFILL
←%2CONFERENCE COMMITTEE

%3General Chairman:%1  Dr. Max B. Clowes
%4Laboratory of Experimental Psychology
University of Sussex
Brighton, Sussex BN1 9QY
England, U. K.
Telephone:  0273-66755

%3Vice Chairman:%1  Prof. Shuhei Aida
%4University of Electrocommunications
1-5-1 Chofugaoka, Chofu-Shi
Tokyo 182, Japan
Telephone:  0424-83-2161, Ext. 343

%3Program Chairman:%1  Dr. Nils Nilsson
%4Artificial Intelligence Center
Stanford Research Institute
Menlo Park, California 94025, U.S.A.
Telephone:  415/326-6200, Ext. 2311

%3Local Arrangements Chairman:%1  Mr. Lester D. Earnest
%4Artificial Intelligence Laboratory
Stanford University
Stanford, California 94305, U.S.A.
Telephone:  415/321-2300, Ext. 4202

%3Secretary-Treasurer:%1  Dr. Warren Teitelman
%4Xerox Palo Alto Research Center
3406 Hillview Avenue
Palo Alto, California 94304, U.S.A.
Telephone:  415/493-1600

%3Past General Chairman:%1  Dr. Donald E. Walker
%4Artificial Intelligence Center
Stanford Research Institute
Menlo Park, California 94025, U.S.A.

%3Committee Members%1

Dr. Rod M. Burstall
%4Department of Machine Intelligence
University of Edinburgh
4 Hope Park Square
Edinburgh EH8 9NW, Scotland, U.K.

%1Prof. John McCarthy
%4Computer Science Department
Stanford University
Stanford, California 94305, U.S.A.

%1Dr. S. I. Samoylenko
%4Council for Cybernetics
U.S.S.R. Academy of Sciences
B-333, 40 Vavilov Street
Moscow, U.S.S.R.

%1Prof. Erik Sandewall
%4Computer Sciences Department
University of Uppsala
Sturegatan 4 B 2 tr
Uppsala, Sweden
.NEXT PAGE
.FAC
←%2HIGHLIGHTS

%1Building on  the stimulating conferences  of 1969  (Washington, D.C.)
and 1971 (London),  an outstanding four day program will be presented
this year beginning August 20.

←Contributed Papers

There are 16 sessions  of  contributed  papers  covering  the  entire
breadth  of  current  A. I. research.   Major  topics include Natural
Language  processing,  Robotics,  A. I. Languages,  Problem  Solving,
Automatic Programming, Theorem Proving, and Psychology.

←Tutorial Lectures

Seven  leading  experts  will  present  50  minute  invited  tutorial
lectures  on  topics  of  current  importance in A.I. research. These
lectures will be video-taped so that attendees can view them later in
the  conference.   The  tapes  will be made available to colleges and
universities.

←Free Sessions

As a special  innovation this year, we  are having a series  of "free
sessions"   (in  parallel  with   the  regular   sessions)  in  which
unrefereed,   last  minute results  may  be  presented.   There  will
probably be room for about fifty 20-minute presentations.

←"Computers and Thought" Lecture

Dr. Patrick Winston of the Artificial Intelligence  Laboratory,  MIT,
has  been  selected  to  give the 1973 "Computers and Thought" public
lecture.  This lecture is made possible through royalties  earned  on
the  book  Computers  and  Thought  edited  by  E.  Feigenbaum and J.
Feldman.

←Panel Discussion

Prominent persons concerned with Artificial Intelligence will discuss
whether  or  not  we  can and will make computers that emulate (i.e.  equal or
excel) the cognitive and affective faculties of humans.   They  will
also  consider  the  concomitant  issue of which, if any, intelligent
behavior it might be inappropriate  or  unethical  to  emulate.   The
moderator will be Louis Fein, Computer Consultant.

The  panel  discussion  will  be  preceded  by  some remarks by Prof.
William F. Miller, Vice President and Provost of Stanford University.
.next page
←A.I. Film Festival

There will be showings of films brought by Conference participants.
These films will  be  shown  continuously  so  that
attendees  can  drop  in at any time to see them.  A schedule will be
posted at the Conference.

←Tours for Spouses

Tours of  nearby points  of interest  will be  available for  spouses
during  the first  two days of  the Conference.   One will  visit the
facilities of  Sunset Magazine, followed  by luncheon  in "Old  Town"
Los Gatos and a  visit to the vinyards of Paul  Masson for a tasting.
The  second trip will  visit some  of the high  points (literally) of
San Francisco  and the  DeYoung Museum,   with  a stop  for lunch  at
Fisherman's Wharf.

←Recreational Facilities

Stanford  recreational  facilities  will  be  open  to you, including
swimming pools, tennis courts, and an 18 hole golf course.   You  may
also  wish  to  explore  the  Stanford  Museum,  the Art Gallery, the
Bookstore, and campus libraries.

←Winetasting

The winegrowers of California will  present  a  special  tasting  for
Conference  attendees.   Tables will be staffed by winery people, who
will serve the wines and comment on their  characteristics.   Besides
wine,  there  will  be  cheese  provided  by  the Marin French Cheese
Company and bread.
.NEXT PAGE
.AT ">>" ⊂ BREAK ⊃
.MACRO SES(NAM); ⊂ SKIP 1; CRBREAK}%2 NAM %1
.⊃
.MACRO SC; ⊂ SKIP 1; CRSPACE ⊃
.MACRO TIM(DA,PER); ⊂ }Time:  {"DA"}, {"PER"}
. ⊃

←%2SCHEDULE%1

.nojust preface 0
.SES Informal Reception
.TIM("Sunday, August 19, 1973","6:30 p.m. --  9:30 p.m.")
Place:  Faculty Club
.sc
.fac
People  who arrive  by  Sunday  evening  are invited  to  visit  the
Faculty  Club  to  pick  up  registration  materials and  meet  other
participants.  Refreshments while they last.

.INDENT 0,6; nojust

.SES 1.  Invited Tutorial Lectures: I
.TIM("Monday, August 20, 1973","9:00 a.m. -- 12:00 noon")
Place: Dinkelspiel Auditorium
Chairman: Peter Hart,%3 Stanford Research Institute, Menlo Park, California%1
.SC
>>  "Automatic Programming", Z. Manna, %3Weizmann Institute of Science, Rehotov, Israel.%1
>>  "Languages for Artificial Intelligence", D. Bobrow, B.#Raphael, %3Stanford Research
    Institute, Menlo Park, Ca.%1
>>  "Artificial Intelligence & Psychology", A. Newell, %3Carnegie-Mellon University,
    Pittsburgh, Pennsylvania%1


.SES 2.  Theory of Heuristic Search
.TIM("Monday, August 20, 1973","9:00 a.m. -- 12:00 noon")
Place: Skilling Auditorium
Chairman: Ron Colman,%3 Cal. State Univ. at Fullerton, Fullerton, California%1
.SC
>>  "Additive AND/OR Graphs", A. Martelli, U. Montanari, %3Instituto de Elaborazione
    della Informazione del Consiglio Nazionale della Richerche, Pisa, Italy%1
>>  "The Avoidance of (Relative) Catastrophe, Heuristic Competence,
    Genuine Dynamic Weighting and Computational Issues in Heuristic
    Problem Solving", I. Pohl, %3U.C. Santa Cruz, Santa Cruz, California%1
>>  "Some Theoretical Results On Automated Game Playing", T. Boffey, %3University of
    Liverpool, United Kingdom%1
>>  "The Bandwidth Heuristic Search", L. Harris, %3Dartmouth College, Hanover, New
    Hampshire%1

.NEXT PAGE
.SES 3.  Theorem Proving and Logic: I
.TIM("Monday, August 20, 1973","9:00 a.m. -- 12:00 noon")
Place: Physics Lecture Hall 100
Chairman: J Moore, %3University of Edinburgh, Edinburgh, Scotland%1
.SC
>>  "The Q* Algorithm -- A Search Strategy for a Deductive Question-
    Answering System", J. Minker et. al., %3University of Maryland, College Park,
    Maryland%1
>>  "A Semantically Guided Deductive System for Automatic Theorem-
    Proving", R. Reiter, %3University of British Columbia, Vancouver, Canada%1
>>  "Deletion-Directed Search in Resolution-Based Proof
    Procedures", D. Gelperin, %3Ohio State University, Columbus, Ohio%1
>>  "A Definition-Driven Theorem Prover", G. Ernst, %3Case Western Reserve
    University, Cleveland, Ohio%1
>>  "A Man-Machine Theorem Proving System", W. Bledsoe, P. Bruell, %3University of
    Texas, Austin, Texas%1
.ses 4.  Invited Tutorial Lectures:  II
.TIM("Monday, August 20, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Dinkelspiel Auditorium
Chairman: Saul Amarel, %3Rutgers University, New Brunswick, New Jersey%1
.sc
>>  "Computer Vision", Y. Shirai, %3Electrotechnical Laboratory, Tokyo, Japan%1
>>  "Artificial Intelligence and Education", S. Papert, %3MIT, Cambridge, Mass.%1
>>  "Automatic Problem Solving", D. Luckham, %3Stanford University, Stanford, California%1
>>  "Natural Language Understanding", T. Winograd, %3Stanford University, Stanford, California%1

.ses 5.  Applications and Implications of A.I.
.TIM("Monday, August 20, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Skilling Auditorium
Chairman: V.L. Stefanyuk, %3Academy of Sciences, Moscow, U.S.S.R.%1
.sc
>>  "Analysis of Behavior of Chemical Molecules: Rule Formation on Non-
    Homogeneous Classes of Objects", B. Buchanan, N. Sridharan, %3Stanford
    University, Stanford, California%1
>>  "Some Necessary Conditions for a Master Chess Program",
    H. Berliner, %3Carnegie-Mellon University, Pittsburgh, Pennsylvania%1
>>  "Artificial Intelligence and Automatic Programming in CAI",
    E. Koffman, S. Blount, %3University of Connecticut, Storrs, Connecticut%1
.next page
>>  "Search Strategies for the Task of Organic Chemical Synthesis",
    N. Sridharan, %3Stanford University, Stanford, California%1
>>  "Forecasting and Assessing the Impact of Artificial Intelligence
    on Society", O. Firschein, M. Fischler, %3Lockheed Research Laboratory, Palo
    Alto, California%1, L.S. Coles, J.M. Tenenbaum, %3Stanford Research Institute,
    Menlo Park, California%1

.ses 6.  Theorem Proving and Logic: II
.TIM("Monday, August 20, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Physics Lecture Hall 100
.crspace
Chairman: Robert Yates,%3 Centro de Investigacion en Mathematicas Aplicadas
  y en Sistemas, University of Mexico, Mexico, D.F.%1
.sc
>>  "Steps Toward Automatic Theory Formation", J. Brown, %3University of California,
    Irvine, California%1
>>  "Doing Arithmetic with Diagrams", A. Bundy, %3University of Edinburgh, Edinburgh,
    Scotland%1
>>  "A Mechanization of Type Theory", G. Huet, %3Iria Laboria, France%1
>>  "On the Mechanization of Abductive Logic", H. Pople, %3University of Pittsburgh,
    Pittsburgh, Pennsylvania%1
>>  "A Hole in Goal Trees: Some Guidance from Resolution Theory",
    D. Loveland, M. Stickel, %3Carnegie-Mellon University, Pittsburgh, Pennsylvania%1
>>  "Discovering Classification Rules Using Variable-Valued Logic
    System VL1", R. Michalski, %3University of Illinois at Urbana-Champaign, Illinois%1

.ses Winetasting
.tim("Monday, August 20, 1973","7:30 p.m. -- 9:00 p.m.")
.crspace
Place:  Stanford Artificial Intelligence Laboratory, %31600#Arastradero Road,
Palo Alto, California%1
.skip fac; indent 0,0,0
This  event is  free  to registrants  and  their  spouses  while  the
tickets last.  At most 600 persons can be accommodated.  There will be
buses from motels and from campus to the winetasting and return (schedule
to be posted).
.skip
The site of this tasting is in the foothills about 5 miles from campus.  
To get there by car, head Southeast from campus to Page Mill Road, then
turn right.  Drive into the hills until you pass the 280 Freeway, then
take the next right onto Arastradero Road.  The Artificial Intelligence
Laboratory will be found about 1 mile from the turn in a strange looking
building on the hill to your right.
.nojust indent 0,6
.next page
.ses 7.  Natural Language: Speech
.tim("Tuesday, August 21, 1973","9:00 a.m. -- 12:00 noon")
Place: Physics Lecture Hall 100
Chairman: Stephen Crocker, %3Department of Defense, Washington, D.C.%1
.sc
>>  "A Procedure for Adaptive Control of the Interaction between
    Acoustic Classification and Linguistic Decoding in Automatic
    Recognition of Continuous Speech", C. Tappert, N. Dixon, %3IBM Corporation,
    Yorktown Heights, New York%1
>>  "The Hearsay Speech Understanding System: An Example of the
    Recognition Process", R. Reddy, et. al., %3Carnegie-Mellon University, Pittsburgh,
    Pa.%1
>>  "System Organizations for Speech Understanding: Implications of Network
    and Multiprocessor Architecture for A.I.", L. Erman, et. al., %3Carnegie-Mellon
    University, Pittsburgh, Pennsylvania%1
>>  "Mechanical Inference Problems in Continuous Speech Understanding"
    W. Woods, J. Makhoul, %3Bolt, Beranek and Newman, Cambridge, Massachusetts%1
>>  "Speech Understanding Through Syntactic and Semantic Analysis",
    D. Walker, %3Stanford Research Institute, Menlo Park, California%1
>>  "A Parser for a Speech Understanding System", W.#Paxton, A. Robinson, %3Stanford
    Research Institute, Menlo Park, California%1

.ses 8.  Formalisms for A.I.
.tim("Tuesday, August 21, 1973","9:00 a.m. -- 12:00 noon")
Place: Skilling Auditorium
Chairman: Marvin Denicoff, %3Office of Naval Research, Washington, D.C.%1
.sc
>>  "D-SCRIPT: A Computational Theory of Descriptions", R.#Moore, %3MIT, Cambridge,
    Massachusetts%1
>>  "Conversion of Predicate-Calculus Axioms, Viewed as Nondeterministic
    Programs, to Corresponding Deterministic Programs", E. Sandewall, %3Uppsala
    University, Uppsala, Sweden%1
>>  "A Universal Modular ACTOR Formalism for Artificial Intelligence",
    C. Hewitt, et.al., %3MIT, Cambridge, Massachusetts%1
>>  "A Model for Control Structures for Artificial Intelligence
    Programming Languages", D. Bobrow, R. Wegbreit, %3XEROX PARC, Palo Alto,
    California%1
>>  "Some Aspects of Artificial Intelligence Research in the U.S.S.R."
    D. Pospelov, et. al., %3Academy of Sciences, Moscow, U.S.S.R.

.ses 9.  Free Session: Problem Solving and Psychology
.tim("Tuesday, August 21, 1973","9:00 a.m. -- 12:00 noon")
Place: Physics Lecture Hall 101
.ses 10.  Natural Language: Systems
.tim("Tuesday, August 21, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Skilling Auditorium
Chairman: L. Stephen Coles, %3Stanford Research Institute, Menlo Park, California%1
.sc
>>  "MARGIE: Memory, Analysis, Response Generation and Inference on
    English", R. Schank, et. al., %3Stanford University, Stanford, California%1
>>  "Language Processing Via Canonical Verbs and Semantic Models"
    G. Hendrix, et. al., %3University of Texas, Austin, Texas%1
>>  "Understanding Without Proofs", Y. Wilks, %3Stanford University, Stanford, California%1
>>  "Idiolectic Language-Analysis for Understanding Doctor-Patient
    Dialogues", H. Enea, et. al., %3Stanford University, Stanford, California%1
>>  "Mechanism of Deduction in a Question Answering System with Natural Language Input",
    M. Nagao, J. Tsujii, %3Kyoto University, Kyoto, Japan%1

.ses 11.  Robot Implementations
.tim("Tuesday, August 21, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Physics Lecture Hall 100
Chairman: Marvin Minsky, %3Massachusetts Institute of Technology, Cambridge, Mass.%1
.sc
>>  "Design of a Computer Controlled Manipulator for Robot Research",
    B. Dobrotin, %3Jet Propulsion Laboratory, Pasadena, California%1, V. Scheinman,
%3Stanford University, Stanford, California%1
>>  "A Versatile Computer-Controlled Assembly System", A.#Ambler, et. al., %3University
    of Edinburgh, Edinburgh, Scotland%1
>>  "Planning Considerations for a Roving Robot with Arm", R.#Lewis,
    A. Bejczy, %3Jet Propulsion Laboratory, Pasadena, California%1
>>  "Control Algorithm of the Walker Climbing over Obstacles",
    D. Okhotsimsky, A. Platonov, %3Academy of Science, Moscow, U.S.S.R.%1
>>  "Design of a Low-cost, General-purpose Robot",
    M.H.#Smith, %3University of California, Berkeley, California%1, L.S. Coles,
%3Stanford Research Institute, Menlo Park, California

.group
.ses 12.  Free Session: Formalisms and Automatic Programming
.tim("Tuesday, August 21, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Physics Lecture Hall 101
.apart

.group
.ses "13.  Computers and Thought Lecture %3(open to the public)"
.tim("Tuesday, August 21, 1973","8:00 p.m. -- 9:30 p.m.")
Place: Memorial Auditorium
Lecturer:  Patrick Winston, %3Massachusetts Institute of Technology, Cambridge, Mass.
.skip
%1Title: "Learning, Problem Solving, and the Search for Intelligence"
.apart
.skip to column 1
.ses 14.  Natural Language: Semantics & Parsing
.tim("Wednesday, August 22, 1973","9:00 a.m. -- 12:00 noon")
Place: Physics Lecture Hall 100
Chairman: Joyce Friedman, %3University of Michigan, Ann Arbor, Michigan%1
.sc
>>  "Jack and Janet in Search of a Theory of Knowledge", E.#Charniak, %3MIT,
    Cambridge, Massachusetts%1
>>  "Natural Semantics in Artificial Intelligence", J. Carbonell,
    A. Collins, %3Bolt, Beranek and Newman, Cambridge, Massachusetts%1
>>  "Some Frills for the Modal Tic-Tac-Toe of Davies and Isard:
    Semantics of Predicate Complement Constructions", A. Joshi, R. Weischedel,
%3University of Pennsylvania, Philadelphia, Pennsylvania%1
>>  "Semantic Modeling for Deductive Question-Answering", K. Biss, et. al.,
%3University of Illinois, Urbana-Champaign, Illinois%1
>>  "Case Structure Systems", B. Bruce, %3Rutgers University, New Brunswick, N.J.%1
>>  "A Linguistics Oriented Programming Language", V. Pratt, %3MIT, Cambridge, Mass.%1

.ses 15.  Robot Problem Solving
.tim("Wednesday, August 22, 1973","9:00 a.m. -- 12:00 noon")
Place: Skilling Auditorium
Chairman: Jack Buchanan, %3Carnegie-Mellon University, Pittsburgh, Pennsylvania%1
.sc
>>  "Proving the Impossible is Impossible is Possible; Disproofs Based on
    Hereditary Partitions", L.#Siklossy, J.#Roach, %3University of Texas, Austin,
    Texas%1
>>  "Robot Planning System Based on Problem Solvers", T.#Nagata, et.al.,
%3Electrotechnical Laboratory, Tokyo, Japan%1
>>  "DECIDER-1: A System That Chooses Among Different Types of Acts",
     L. Uhr, %3University of Wisconsin, Madison, Wisconsin%1
>>  "Robot Decisions Based on Maximizing Utility", W. Jacobs, M. Kiefer,
%3The American University, Washington, D.C.%1
>>  "Planning in a Hierarchy of Abstraction Spaces", E.#Sacerdoti, %3Stanford
    Research Institute, Menlo Park, California%1
>>  "An Efficient Robot Planner which Generates Its Own
    Procedures", L. Siklossy, J. Dreussi, %3University of Texas, Austin, Texas%1

.group
.ses 16.  Free Session: Vision
.tim("Wednesday, August 22, 1973","9:00 a.m. -- 12:00 noon")
Place: Physics Lecture Hall 101
.apart
.ses 17.  Psychology and A.I.
.tim("Wednesday, August 22, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Skilling Auditorium
Chairman: Edward Feigenbaum, %3Stanford University, Stanford, California%1
.sc
>>  "PAS:II: An Interactive Task-Free Version of an Automatic Protocol Analysis
    System", D. Waterman, A. Newell, %3Carnegie-Mellon University, Pittsburgh,
    Pennsylvania%1
>>  "Outlines of a Computer Model of Motivation", G. Kiss, %3University of
    Edinburgh, Edinburgh, Scotland%1
>>  "Active Semantic Networks as a Model of Human Memory", D. Rumelhard,
    D. Norman, %3University of California at San Diego, La Jolla, California%1
>>  "Towards a Model of Human Game Playing", M. Eisenstadt and Y. Kareev,
%3University of California at San Diego, La Jolla, California%1
>>  "A Model of the Common-Sense Theory of Intention and Personal
    Causation", C. Schmidt, J. D'Addamio, %3Rutgers University, New Brunswick,
    New Jersey%1.
>>  "The Symbolic Nature of Visual Imagery", T. Moran, %3Carnegie-Mellon University,
    Pittsburgh, Pennsylvania%1

.ses 18.  Automatic Programming
.tim("Wednesday, August 22, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Physics Lecture Hall 100
Chairman: C. Cordell Green, %3Stanford University, Stanford, California%1
.sc
>>  "A System which Automatically Improves Programs", J.#Darlington,
    R. Burstall, %3University of Edinburgh, Edinburgh, Scotland%1
>>  "Proving Theorems about LISP Functions", R. Boyer, J#Moore, %3University of
    Edinburgh, Edinburgh, Scotland%1
>>  "A Global View of Automatic Programming", R. Balzer, %3University of Southern
    California, Information Science Institute, Marina del Rey, California%1
>>  "A Heuristic Approach to Program Verification", S. Katz, Z. Manna, %3Weizmann
    Institute of Science, Rehovot, Israel%1
>>  "Iterated Limiting Recursion and the Program Minimization Problem"
    L. Schubert, %3University of Alberta, Canada%1
.group
>>  "Heuristic Methods for Mechanically Deriving Inductive Assertions"
    B. Wegbreit, %3Bolt, Beranek and Newman, Cambridge, Massachusetts%1
.apart group
>>  "Automatic Program Synthesis in Second-Order Logic", J.#Darlington,
    %3Geselschaft fuer Mathematik und Datenverarbeitung, Bonn, Germany%1

. apart group
.ses 19.  Free Session: Applications
.tim("Wednesday, August 22, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Physics Lecture Hall 101
.apart

.group
.ses "20.  Invited Discussion %3(open to the public)"
.tim("Wednesday, August 22, 1973","8:00 p.m. -- 10:00 p.m.")
Place: Memorial Auditorium
.sc
>>  "Practical & Theoretical Impacts of Artificial Intelligence", William
    F. Miller, %3Vice President and Provost, Stanford University%1
>>  "How Much of Human Intelligence Could and Should Computers be Made
    to Equal or Excel?  A Discussion", Louis Fein, %3Synnoetic Systems, Moderator%1.
    (Speakers and discussants will include E. Fredkin and J. Weizenbaum of
    M.I.T. and T.#Winograd of Stanford. Others to be announced.)
.apart
.next page
.ses 21.  Computer Vision
.tim("Thursday, August 23, 1973","9:00 a.m. -- 12:00 noon")
Place: Physics Lecture Hall 100
Chairman: Adolfo Guzman, %3Centro Nacional de Calculo, Mexico%1
.sc
>>  "Finding Picture Edges through Collinearity of Feature Points"
    F. O'Gorman, M. Clowes, %3University of Sussex, Brighton, Sussex, England%1
>>  "Interpreting Pictures of Polyhedral Scenes", A.#Mackworth, %3University of
    Sussex, Brighton, Sussex, England%1
>>  "Detection of Homogeneous Regions by Structural Analysis",
    F. Tomita, et.al., %3 Osaka University, Osaka, Japan%1
>>  "Computer Description of Textured Surfaces", R. Bajcsy, %3University of
    Pennsylvania, Philadelphia, Pennsylvania%1
>>  "A Semantics-Based Decision Theoretic Region Analyzer",
    Y. Yakimovsky, J. Feldman, %3Stanford University, Stanford, California%1

.ses 22.  General Problem Solving
.tim("Thursday, August 23, 1973","9:00 a.m. -- 12:00 noon")
Place: Skilling Auditorium
Chairman: Richard Fikes, %3Stanford Research Institute, Menlo Park, California%1
.sc
>>  "POPS: An Application of Heuristic Search Methods to the Processing
    of a Nondeterministic Programming Language", G. Gibbons, %3Naval Post Graduate
    School, Monterey, California%1
>>  "CASAP: A Testbed for Program Flexibility", R. Balzer, %3University of Southern
    California, Information Science Institute, Marina del Rey, California%1
>>  "A Number Theory Approach to Problem Representation and Solution"
    S. Shen, E. Jones, %3Virginia Polytechnic Institute and State University,
    Blacksburg, Virginia%1
>>  "On a Local Approach to Representation in Problem Solving",
    V. Stefanyuk, %3Academy of Science, Moscow, U.S.S.R.%1
>>  "The Architecture of a Coherent Information System;  A General
    Problem Solving System", C. Srinivasan, %3Rutgers University, New Brunswick,
    New Jersey%1

.ses 23.  Free Session: Robots and Other
.tim("Thursday, August 23, 1973","9:00 a.m. -- 12:00 noon")
Place: Physics Lecture Hall 101
.next page
.ses 24.  Perception for Robots
.tim("Thursday, August 23, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Physics Lecture Hall 100
Chairman: Harry Barrow, %3University of Edinburgh, Edinburgh, Scotland%1
.sc
>>  "Computer Description of Curved Objects", G. Agin, %3IBM Corporation,
    Endicott, New York%1, T. Binford, %3Stanford University, Stanford, California%1
>>  "Structured Descriptions of Complex Objects", R. Nevatia,
    T. Binford, %3Stanford University, Stanford, California%1
>>  "On Calibrating Computer Controlled Cameras for Perceiving 3-D
    Scenes", I. Sobel, %3Israel Institute of Technology, Haifa, Israel%1
>>  "Thoughts About a Visually Guided Grasp Reflex", R.#Didday, %3Colorado State
    University, Fort Collins, Colorado%1
>>  "Pattern Classification of the Grasped Object by the Artificial
    Hand", G. Kinoshita, et.al., %3Chuo University, Tokyo, Japan%1

.ses 25.  Hardware and Software for A.I.
.tim("Thursday, August 23, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Skilling Auditorium
Chairman: Richard Waldinger, %3Stanford Research Institute, Menlo Park, California%1
.sc
>>  "The LISP70 Pattern Matching System", L Tesler, et.al., %3XEROX PARC, Palo
    Alto, California%1
>>  "Backtracking in MLISP2,", D. Smith, H. Enea, %3Stanford University, Stanford,
    California%1
>>  "CLISP - Conversational LISP", W. Teitelman, %3XEROX PARC, Palo Alto, California%1
>>  "1-pak: A SNOBOL-based Programming Language for Artificial
    Intelligence Applications", J. Mylopoulos, et.al., %3University of Toronto,
    Toronto, Canada%1
>>  "A LISP Machine with Very Compact Programs", L.P.#Deutsch, %3XEROX PARC, Palo
    Alto, California%1

.ses 26.  Free Session: Natural Language
.tim("Thursday, August 23, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Physics Lecture Hall 101
.every heading (,,)
.next page
←TOURS FOR SPOUSES
.fac; crspace preface 1
Tours will be offered to spouses of conference attendees on the first
two days as follows.

Tour #1:  Monday, August 20, 10:30 a.m. -- 4:00 p.m.
.indent 4,4,4
	A visit to the home of Sunset Magazine, tour of the grounds,
	information on how recipes are tested.  Next, to Los Gatos'
	quaint Old Town for a Mexican luncheon, with time to visit
	some of the interesting shops.  Finally, a tour of the Paul
	Masson Winery in Saratoga with ample time for tasting.
	Cost: $4, not including lunch.
.indent 0
Tour #2:  Tuesday, August 21, 8:45 a.m. -- 4:30 p.m.
.indent 4,4,4
AN ALL-DAY TRIP TO SAN FRANCISCO FOR ALL AGES!
We will drive to the City along the San Andreas Fault and park in Golden Gate Park
where you can tour the renouned Oriental Art Exhibit at the De Young Museum,
or walk around the Strybing Arboretum and the Japanese Tea Garden, or visit
the Steinhart Acquarium and Museum of Natural History.  We will continue to
Fisherman's Wharf for luncheon at any of a number of restaurants and a visit
to Ghirardelli Square's shops (and super soda fountain), or the Maritime
Museum, or ride a cable car to Chinatown.  Returning via the Twin Peaks
section of San Francisco.  Cost: $5, not including lunch.
.indent 0,0,0
.skip
←FOREIGN EXCHANGE AND CHECK CASHING

The foreign currency exchange office at San Francisco Airport is open
seven days a week from 7 a.m. until midnight.  It is located  in  the
Bank  of  America section in the South Terminal near the Pan American
facility.  Apart from the currency exchange office, the  bank  itself
is  open  every  day  from 8:30 a.m. to 5:00 p.m. (6 p.m. on Friday).
Checks may be  cashed  upon  presentation  of  Driver's  License  and
suitable credit card.

There  may  be  some  limited  foreign currency exchange at the Wells
Fargo Bank on the Stanford University  campus  during  banking  hours
from  10 a.m. to 3 p.m.  Campus courtesy cards, given to registrants,
may be used to cash personal checks drawn on U.S. banks in amounts up
to $100 at Wells Fargo.